581. Logic, methodology and philosophy of science VIII : Proceedings of the International Congress of Logic, Methodology and Philosophy of Science, Moscow 1987
پدیدآورنده: edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Science -- Philosophy,Congresses ، Science -- Methodology,Congresses ، Logic,Congresses ، Mathematics -- Philosophy
رده :
Q
174
.
I58
1987
582. Logic of Computation
پدیدآورنده: edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
583. Logic of computation
پدیدآورنده: edited by Helmut Schwichtenberg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
584. Logic of computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
585. Logic of programs; Workshop, ETH Zurich, May-July, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic circuits-- Congresses,، Electronic digital computers-- Circuits-- Congresses
رده :
TK
7888
.
4
.
L61
1979
586. Logic program synthesis and transformation
پدیدآورنده: / John Gallagher (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming--Congresses
رده :
QA
,
76
.
63
,.
I57
,
1996
587. Logic program synthesis and transformation :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses ;
588. Logic program synthesis and transformation--Meta-programming in Logic, 4th International Workshops, LOPSTR'94 and META'94Pisa, Italy, June 20-21 1994 : proceedings
پدیدآورنده: Laurent Fribourg, Franco Turini, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
883
589. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده: Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
590. Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : Proceedings
پدیدآورنده: John Gallagher )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1207
591. Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
پدیدآورنده: Maurizio Proietti )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1048
592. Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 1997 : Proceedings
پدیدآورنده: Norbert E. Fuchs
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1463
593. Logic programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses. ; Computer programming ; Congresses. ;
594. Logic programming
پدیدآورنده: Patricia M. Hill, David S. Warren (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming, Congresses
رده :
QA76
.
63
.
I57
2009eb
595. Logic programming '88 :
پدیدآورنده: K. Furukawa, H. Tanaka, T. Fujisaki (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming-- Congresses.
رده :
QA76
.
63
.
L63
1989
596. Logic programming
پدیدآورنده: / Veronica Dahl, Ilkka Niemel?n (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming--Congresses
رده :
QA
,
76
.
63
,
I55
,
2007
597. Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
پدیدآورنده: A. Voronkov )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
63
.
R87
1990
598. Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russian, September 14-18, 1990: Second Russian Conference on logic Programming, St. Petersburg, Russian September 11-16, 1991: Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
R87
1990
599. Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990: second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991: proceedings
پدیدآورنده: A. Voronkov )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
592
600. Logic programming'88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده: K. Furukawa, H. Tanaka, T. Fujisaki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
383
